Applicative programming language